Certified Verification of Algebraic Properties on LowLevel Mathematical Constructs in Cryptographic Programs Ming-Hsien Tsai Bow-Yaw Wang Bo-Yin Yang

Source URL: precision.moscito.org

Static Control-Flow Analysis of User-Driven Callbacks in Android Applications Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, and Atanas Rountev Ohio State University Email: {yangs,yan,wuhaow,wang10,rountev}@cse.ohio-st

Source URL: dacongy.github.io

• Software engineering
• Subroutines
• Computing
• Computer programming
• Programming paradigms
• Callback
• Network flow problem
• Event
• Data-flow analysis
• Control flow analysis
• Flow network
• Control flow graph

Static Window Transition Graphs for Android Shengqian Yang∗ , Hailong Zhang∗ , Haowei Wu∗ , Yan Wang∗ , Dacong Yan† , and Atanas Rountev∗ ∗ Ohio State University, Columbus, OH, USA Email: {yangs,zhanhail,wu

Source URL: dacongy.github.io

Reliability as an Interdomain Service Hao Wang⋆ Yang Richard Yang⋆ Paul H. Liu⋆ Jia Wang† Alexandre Gerber† Albert Greenberg§ AT&T Labs – Research† Microsoft Research§

Source URL: thev.net

Blockcloud: A Blockchain-based Service-centric Network Stack Zhongxing Ming∗ , Shu Yang† , Qi Li∗ , Dan Wang‡ , Mingwei Xu∗ , Ke Xu∗ , Laizhong Cui† ∗ Dept. of Comp. Sci. & Tech., Tsinghua Univ., Tsinghu

Source URL: www.block-cloud.io

• Cryptocurrencies
• Computing
• Emerging technologies
• Alternative currencies
• Blockchains
• Technology
• Information
• Ethereum
• Internet of things
• Bitcoin
• Gateway
• ternity

Delay Analysis of Structural Real-Time Workload Nan Guan1,2 , Yue Tang1 , Yang Wang1 and Wang Yi2 1 2 Northeastern University, China

Source URL: user.it.uu.se

Quantitative Association Analysis Using Tree Hierarchies Feng Pan 1 , Lynda Yang 1 , Leonard McMillan 1 , Fernando Pardo Manuel de Villena 2 , David Threadgill 2 and Wei Wang 1 1 Department of Computer Science, 2 Departm

Source URL: web.cs.ucla.edu

1 Towards Hybrid Intelligence for Robotics SAI R. GOURAVAJHALA, JEAN YOUNG SONG, JINYEONG YIM, RAYMOND FOK, YANDA HUANG, FAN YANG, KYLE WANG, YILEI AN, and WALTER S. LASECKI, University of Michigan

Source URL: web.eecs.umich.edu

Quantitative Association Analysis Using Tree Hierarchies Feng Pan 1 , Lynda Yang 1 , Leonard McMillan 1 , Fernando Pardo Manuel de Villena 2 , David Threadgill 2 and Wei Wang 1 1 Department of Computer Science, 2 Departm

Source URL: www.cs.unc.edu

Supplementary Material for ”Combinatorial multi-armed bandit: general framework, results and applications”, by Wei Chen, Yajun Wang, and Yang Yuan. A. Full proof of Theorem 1 We use the following two well known bound

Source URL: proceedings.mlr.press